COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	primarily a how-to-do-it course rather than a points-of-view course
C00003 00003	see airpor.ax[w81,jmc]
C00004 ENDMK
C⊗;
primarily a how-to-do-it course rather than a points-of-view course

the logical tools
	set theory
	higher order logic

non-monotonic reasoning

reading list
	Haugeland book
	my papers
	VAL papers
	other papers
		Hanks and McDermott
		McDermott's lament
		Searlishness
		Hayes on liquids and other topics

guests?

topics
	ascribing
	reification
	blocks world
	automaton metaphysics
	non-monotonic reasoning
	frame problem
	qualification problem

see airpor.ax[w81,jmc]